Optimal. Leaf size=124 \[ \frac {63}{16} \left (2 x^2-x+3\right )^{3/2} x^2+\frac {769}{256} \left (2 x^2-x+3\right )^{3/2} x-\frac {2107 \left (2 x^2-x+3\right )^{3/2}}{3072}+\frac {12371 (1-4 x) \sqrt {2 x^2-x+3}}{16384}+\frac {25}{12} \left (2 x^2-x+3\right )^{3/2} x^3+\frac {284533 \sinh ^{-1}\left (\frac {1-4 x}{\sqrt {23}}\right )}{32768 \sqrt {2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.10, antiderivative size = 124, normalized size of antiderivative = 1.00, number of steps used = 7, number of rules used = 5, integrand size = 27, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.185, Rules used = {1661, 640, 612, 619, 215} \[ \frac {25}{12} \left (2 x^2-x+3\right )^{3/2} x^3+\frac {63}{16} \left (2 x^2-x+3\right )^{3/2} x^2+\frac {769}{256} \left (2 x^2-x+3\right )^{3/2} x-\frac {2107 \left (2 x^2-x+3\right )^{3/2}}{3072}+\frac {12371 (1-4 x) \sqrt {2 x^2-x+3}}{16384}+\frac {284533 \sinh ^{-1}\left (\frac {1-4 x}{\sqrt {23}}\right )}{32768 \sqrt {2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 215
Rule 612
Rule 619
Rule 640
Rule 1661
Rubi steps
\begin {align*} \int \sqrt {3-x+2 x^2} \left (2+3 x+5 x^2\right )^2 \, dx &=\frac {25}{12} x^3 \left (3-x+2 x^2\right )^{3/2}+\frac {1}{12} \int \sqrt {3-x+2 x^2} \left (48+144 x+123 x^2+\frac {945 x^3}{2}\right ) \, dx\\ &=\frac {63}{16} x^2 \left (3-x+2 x^2\right )^{3/2}+\frac {25}{12} x^3 \left (3-x+2 x^2\right )^{3/2}+\frac {1}{120} \int \sqrt {3-x+2 x^2} \left (480-1395 x+\frac {11535 x^2}{4}\right ) \, dx\\ &=\frac {769}{256} x \left (3-x+2 x^2\right )^{3/2}+\frac {63}{16} x^2 \left (3-x+2 x^2\right )^{3/2}+\frac {25}{12} x^3 \left (3-x+2 x^2\right )^{3/2}+\frac {1}{960} \int \left (-\frac {19245}{4}-\frac {31605 x}{8}\right ) \sqrt {3-x+2 x^2} \, dx\\ &=-\frac {2107 \left (3-x+2 x^2\right )^{3/2}}{3072}+\frac {769}{256} x \left (3-x+2 x^2\right )^{3/2}+\frac {63}{16} x^2 \left (3-x+2 x^2\right )^{3/2}+\frac {25}{12} x^3 \left (3-x+2 x^2\right )^{3/2}-\frac {12371 \int \sqrt {3-x+2 x^2} \, dx}{2048}\\ &=\frac {12371 (1-4 x) \sqrt {3-x+2 x^2}}{16384}-\frac {2107 \left (3-x+2 x^2\right )^{3/2}}{3072}+\frac {769}{256} x \left (3-x+2 x^2\right )^{3/2}+\frac {63}{16} x^2 \left (3-x+2 x^2\right )^{3/2}+\frac {25}{12} x^3 \left (3-x+2 x^2\right )^{3/2}-\frac {284533 \int \frac {1}{\sqrt {3-x+2 x^2}} \, dx}{32768}\\ &=\frac {12371 (1-4 x) \sqrt {3-x+2 x^2}}{16384}-\frac {2107 \left (3-x+2 x^2\right )^{3/2}}{3072}+\frac {769}{256} x \left (3-x+2 x^2\right )^{3/2}+\frac {63}{16} x^2 \left (3-x+2 x^2\right )^{3/2}+\frac {25}{12} x^3 \left (3-x+2 x^2\right )^{3/2}-\frac {\left (12371 \sqrt {\frac {23}{2}}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {1+\frac {x^2}{23}}} \, dx,x,-1+4 x\right )}{32768}\\ &=\frac {12371 (1-4 x) \sqrt {3-x+2 x^2}}{16384}-\frac {2107 \left (3-x+2 x^2\right )^{3/2}}{3072}+\frac {769}{256} x \left (3-x+2 x^2\right )^{3/2}+\frac {63}{16} x^2 \left (3-x+2 x^2\right )^{3/2}+\frac {25}{12} x^3 \left (3-x+2 x^2\right )^{3/2}+\frac {284533 \sinh ^{-1}\left (\frac {1-4 x}{\sqrt {23}}\right )}{32768 \sqrt {2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.10, size = 65, normalized size = 0.52 \[ \frac {4 \sqrt {2 x^2-x+3} \left (204800 x^5+284672 x^4+408960 x^3+365536 x^2+328204 x-64023\right )+853599 \sqrt {2} \sinh ^{-1}\left (\frac {1-4 x}{\sqrt {23}}\right )}{196608} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.85, size = 78, normalized size = 0.63 \[ \frac {1}{49152} \, {\left (204800 \, x^{5} + 284672 \, x^{4} + 408960 \, x^{3} + 365536 \, x^{2} + 328204 \, x - 64023\right )} \sqrt {2 \, x^{2} - x + 3} + \frac {284533}{131072} \, \sqrt {2} \log \left (4 \, \sqrt {2} \sqrt {2 \, x^{2} - x + 3} {\left (4 \, x - 1\right )} - 32 \, x^{2} + 16 \, x - 25\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.22, size = 73, normalized size = 0.59 \[ \frac {1}{49152} \, {\left (4 \, {\left (8 \, {\left (4 \, {\left (16 \, {\left (100 \, x + 139\right )} x + 3195\right )} x + 11423\right )} x + 82051\right )} x - 64023\right )} \sqrt {2 \, x^{2} - x + 3} + \frac {284533}{65536} \, \sqrt {2} \log \left (-2 \, \sqrt {2} {\left (\sqrt {2} x - \sqrt {2 \, x^{2} - x + 3}\right )} + 1\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.01, size = 98, normalized size = 0.79 \[ \frac {25 \left (2 x^{2}-x +3\right )^{\frac {3}{2}} x^{3}}{12}+\frac {63 \left (2 x^{2}-x +3\right )^{\frac {3}{2}} x^{2}}{16}+\frac {769 \left (2 x^{2}-x +3\right )^{\frac {3}{2}} x}{256}-\frac {284533 \sqrt {2}\, \arcsinh \left (\frac {4 \sqrt {23}\, \left (x -\frac {1}{4}\right )}{23}\right )}{65536}-\frac {2107 \left (2 x^{2}-x +3\right )^{\frac {3}{2}}}{3072}-\frac {12371 \left (4 x -1\right ) \sqrt {2 x^{2}-x +3}}{16384} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.98, size = 109, normalized size = 0.88 \[ \frac {25}{12} \, {\left (2 \, x^{2} - x + 3\right )}^{\frac {3}{2}} x^{3} + \frac {63}{16} \, {\left (2 \, x^{2} - x + 3\right )}^{\frac {3}{2}} x^{2} + \frac {769}{256} \, {\left (2 \, x^{2} - x + 3\right )}^{\frac {3}{2}} x - \frac {2107}{3072} \, {\left (2 \, x^{2} - x + 3\right )}^{\frac {3}{2}} - \frac {12371}{4096} \, \sqrt {2 \, x^{2} - x + 3} x - \frac {284533}{65536} \, \sqrt {2} \operatorname {arsinh}\left (\frac {1}{23} \, \sqrt {23} {\left (4 \, x - 1\right )}\right ) + \frac {12371}{16384} \, \sqrt {2 \, x^{2} - x + 3} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.19, size = 153, normalized size = 1.23 \[ \frac {63\,x^2\,{\left (2\,x^2-x+3\right )}^{3/2}}{16}+\frac {25\,x^3\,{\left (2\,x^2-x+3\right )}^{3/2}}{12}-\frac {29509\,\sqrt {2}\,\ln \left (\sqrt {2\,x^2-x+3}+\frac {\sqrt {2}\,\left (2\,x-\frac {1}{2}\right )}{2}\right )}{8192}-\frac {1283\,\left (\frac {x}{2}-\frac {1}{8}\right )\,\sqrt {2\,x^2-x+3}}{256}-\frac {2107\,\sqrt {2\,x^2-x+3}\,\left (32\,x^2-4\,x+45\right )}{49152}+\frac {769\,x\,{\left (2\,x^2-x+3\right )}^{3/2}}{256}-\frac {48461\,\sqrt {2}\,\ln \left (2\,\sqrt {2\,x^2-x+3}+\frac {\sqrt {2}\,\left (4\,x-1\right )}{2}\right )}{65536} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \sqrt {2 x^{2} - x + 3} \left (5 x^{2} + 3 x + 2\right )^{2}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________